
import java.util.*;

public class StateMachine extends Element {

	StateMachineVis vis;
	Collection<Transition> transitions;
	Collection<State> states;

	/**
	 * 
	 * @return 
	 */
	public void mkClassDiagram() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public Sequence_Error check() {
		throw new UnsupportedOperationException();
	}

}